$r$ {-} $s$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$r$ + {-}($s$)